Books by author Roberto Gorrieri

Showing 1 – 18 out of 18 results

1. 

   Formal Methods for Open Object-Based Distributed Systems

   Roberto Gorrieri, Heike Wehrheim | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
2. 

   Foundations of Security Analysis and Design VI

   Alessandro Aldini, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
3. 

   Process Algebras for Petri Nets

   Roberto Gorrieri | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   82.59 €

   Sale 7 %

   You save 6.90 €

   Buy
4. 

   Foundations of Security Analysis and Design

   Alessandro Aldini, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
5. 

   Syntax and Semantics of Petri Nets

   Roberto Gorrieri | Cambridge University Press, 2025

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Hardback

   134.07 €

   Buy
6. 

   Automata, Languages and Programming

   Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   109.54 €

   Buy
7. 

   Foundations of Security Analysis and Design II

   R. Focardi, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
8. 

   Introduction to Concurrency Theory

   Roberto Gorrieri, Cristian Versari | Springer International Publishing AG, 2015

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   50.66 €

   Sale 9 %

   You save 5.40 €

   Buy
9. 

   Computational Methods in Systems Biology

   Pierpaolo Degano, Roberto Gorrieri | Springer, Berlin, 2009

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   109.54 €

   Buy
10. 

    Formal Methods for Open Object-Based Distributed Systems

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri | Springer, Berlin, 1999

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    206.13 €

    Sale 7 %

    You save 17.14 €

    Buy
11. 

    Introduction to Concurrency Theory

    Roberto Gorrieri, Cristian Versari | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    50.66 €

    Sale 9 %

    You save 5.40 €

    Buy
12. 

    Foundations of Security Analysis and Design

    Riccardo Focardi, Roberto Gorrieri | Springer, Berlin, 2001

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.78 €

    Sale 7 %

    You save 4.29 €

    Buy
13. 

    Foundations of Security Analysis and Design III

    Roberto Gorrieri, Fabio Martinelli, Alessandro Aldini | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    51.07 €

    Buy
14. 

    Process Algebras for Petri Nets

    Roberto Gorrieri | Springer International Publishing AG, 2017

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    82.59 €

    Sale 7 %

    You save 6.90 €

    Buy
15. 

    Formal Methods for Open Object-Based Distributed Systems, 1

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri | Springer, Berlin, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    206.13 €

    Sale 7 %

    You save 17.14 €

    Buy
16. 

    Formal Methods for Open Object-Based Distributed Systems

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri | Springer Nature B.V., 2013

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    57.05 €

    Sale 0 %

    You save 0.01 €

    Buy
17. 

    Foundations of Security Analysis and Design V

    Alessandro Aldini, Gilles Barthe, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    51.07 €

    Buy
18. 

    Genitivi. Dall'Arca di Noè alla Z di Zorro. Piccola raccolta semiseria

    Roberto Gorrieri, Nicoletta Leali | Sometti, 2020

    
    

    50/50 - We search the world

    Language: Italian

    Binding: Paperback

    25.22 €

    Sale 9 %

    You save 2.73 €

    Buy

Free shipping for orders over 59.99 €. Find out more